201![Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula](https://www.pdfsearch.io/img/ae77b1a10b6a6dddf7caea6bca620227.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2013-05-12 14:18:02
|
---|
202![Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012 Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012](https://www.pdfsearch.io/img/eda4184810c381deff14b152eed78367.jpg) | Add to Reading ListSource URL: www.pmg.lcs.mit.eduLanguage: English - Date: 2012-09-18 11:16:47
|
---|
203![Light-Weight Execution Agents Revision 3 Document number: Revises: Date: Light-Weight Execution Agents Revision 3 Document number: Revises: Date:](https://www.pdfsearch.io/img/05510fbd7202b1ed615dbc5446c688e0.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2014-10-13 05:27:58
|
---|
204![TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets
What does ‘mutual’ mean to me? TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets
What does ‘mutual’ mean to me?](https://www.pdfsearch.io/img/c1d5065fdc74f115d14c2fe17d569921.jpg) | Add to Reading ListSource URL: assets.lcu.com.auLanguage: English - Date: 2013-10-28 07:03:15
|
---|
205![66 HIL tests for truck ESC Figure 1 (Top): A truckSim animation of a test vehicle 66 HIL tests for truck ESC Figure 1 (Top): A truckSim animation of a test vehicle](https://www.pdfsearch.io/img/f207fb727aa5c9b0174a41e00067c8b8.jpg) | Add to Reading ListSource URL: www.carsim.comLanguage: English - Date: 2012-08-15 16:44:57
|
---|
206![Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith](https://www.pdfsearch.io/img/5b992c99614ba9717797a77f4623f1fa.jpg) | Add to Reading ListSource URL: icaps11.icaps-conference.orgLanguage: English - Date: 2013-04-15 04:52:48
|
---|
207![TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets
What does ‘mutual’ mean to me? TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets
What does ‘mutual’ mean to me?](https://www.pdfsearch.io/img/00b0c8a9f0b2b69d805a6111244b89ec.jpg) | Add to Reading ListSource URL: www.eecu.com.auLanguage: English - Date: 2010-05-09 21:18:18
|
---|
208![C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas](https://www.pdfsearch.io/img/fb5d97455e00245b3f1955f02e1afeba.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2013-05-12 14:22:49
|
---|
209![SoftBase Logo white w Tag SoftBase Logo white w Tag](https://www.pdfsearch.io/img/75cc48a9523dd5366cd912f94f95d224.jpg) | Add to Reading ListSource URL: www.softbase.comLanguage: English - Date: 2011-10-19 08:36:30
|
---|
210![Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile.
Chapter 16
Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile.
Chapter 16](https://www.pdfsearch.io/img/a5315e0611c53dd3de31ce02eedc2410.jpg) | Add to Reading ListSource URL: media.pragprog.comLanguage: English - Date: 2013-08-29 15:48:40
|
---|